((v5 v1 5) (v10 v3 0) (v3 v4 6) (v5 v10 0) (v10 v7 8) (v7 v1 7) (v10 v4 1) (v8 v11 6) (v4 v2 1) (v6 v1 5) (v9 v3 5) (v7 v2 3) (v4 v9 1) (v4 v1 9) (v5 v9 3) (v6 v11 4) (v10 v11 0) (v4 v5 0) (v3 v11 2) (v6 v2 3) (v8 v3 2) (v6 v7 4) (v5 v8 8) (v11 v9 5) (v9 v10 4) (v3 v5 5) (v1 v11 2) (v1 v9 7) (v10 v6 5) (v7 v4 3) (v6 v9 0) (v11 v4 4) (v8 v10 1) (v7 v8 4))
158
()